herleitbar

herleitbar
выводимый

Немецко-русский математический словарь. 2013.

Игры ⚽ Поможем сделать НИР

Смотреть что такое "herleitbar" в других словарях:

  • Aussagenlogik — Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird. In der klassischen Aussagenlogik …   Deutsch Wikipedia

  • True Wert — Die Aussagenlogik (veraltet Urteilslogik) ist der Bereich der Logik, der sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen semantisch ein Wahrheitswert zugeordnet wird.… …   Deutsch Wikipedia

  • Urteilslogik — Die Aussagenlogik (veraltet Urteilslogik) ist der Bereich der Logik, der sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen semantisch ein Wahrheitswert zugeordnet wird.… …   Deutsch Wikipedia

  • Hilbert-Kalkül — Hilbertkalküle sind axiomatische Kalküle für die klassische Aussagenlogik oder die Prädikatenlogik erster Stufe, das heißt Kalküle, in denen sich Theoreme und Argumente der Aussagenlogik oder der Prädikatenlogik erster Stufe herleiten lassen. Die …   Deutsch Wikipedia

  • Hilbertkalkül — Hilbertkalküle sind axiomatische Kalküle für die klassische Aussagenlogik oder die Prädikatenlogik erster Stufe, das heißt Kalküle, in denen sich Theoreme und Argumente der Aussagenlogik oder der Prädikatenlogik erster Stufe herleiten lassen. Die …   Deutsch Wikipedia

  • Ex contradictione sequitur quodlibet — Ex falso quodlibet, eigentlich ex falso sequitur quodlibet (lat., aus Falschem folgt Beliebiges), abgekürzt zu „e.f.q.“, eindeutiger ex contradictione sequitur quodlibet (lat., aus einem Widerspruch folgt Beliebiges), bezeichnet im engeren Sinn… …   Deutsch Wikipedia

  • Ex falso quodlibet — Ex falso quodlibet, eigentlich ex falso sequitur quodlibet (lat., aus Falschem folgt Beliebiges), abgekürzt zu „e.f.q.“, eindeutiger ex contradictione sequitur quodlibet (lat., aus einem Widerspruch folgt Beliebiges), bezeichnet im engeren Sinn… …   Deutsch Wikipedia

  • Ex falso sequitur quodlibet — Ex falso quodlibet, eigentlich ex falso sequitur quodlibet (lat., aus Falschem folgt Beliebiges), abgekürzt zu „e.f.q.“, eindeutiger ex contradictione sequitur quodlibet (lat., aus einem Widerspruch folgt Beliebiges), bezeichnet im engeren Sinn… …   Deutsch Wikipedia

  • Cut-elimination — Der Gentzensche Hauptsatz oder Schnittsatz ist ein Satz der mathematischen Logik, der besagt, dass die Schnittregel in Gentzentypkalkülen gültig ist. Er ist nach Gerhard Gentzen benannt, der ihn 1934 aufstellte und bewies. Inhaltsverzeichnis 1… …   Deutsch Wikipedia

  • Gentzenkalkül — Der Sequenzenkalkül (manchmal auch Gentzenkalkül) ist ein von Gerhard Gentzen entwickelter, primär für metalogische Zwecke konzipierter logischer Kalkül. Inhaltsverzeichnis 1 Notationen und Konventionen 2 Definition 3 Regeln des Sequenzenkalküls… …   Deutsch Wikipedia

  • Gentzenscher Hauptsatz — Der Gentzensche Hauptsatz oder Schnittsatz ist ein Satz der mathematischen Logik, der besagt, dass die Schnittregel in Gentzentypkalkülen gültig ist. Er ist nach Gerhard Gentzen benannt, der ihn 1934 aufstellte und bewies. Inhaltsverzeichnis 1… …   Deutsch Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»